{
"prim": "Pair",
"args": [
{
"prim": "Pair",
"args": [
{
"prim": "Pair",
"args": [
{ "prim": "Pair", "args": [ { "prim": "Pair", "args": [ [], [] ] }, { "prim": "Pair", "args": [ [], { "string": "tz1UyQDepgtUBnWjyzzonqeDwaiWoQzRKSP5" } ] } ] },
{
"prim": "Pair",
"args": [
{
"prim": "Pair",
"args": [
{
"prim": "Pair",
"args": [
{ "prim": "Pair", "args": [ { "prim": "None" }, { "prim": "Pair", "args": [ { "int": "0" }, { "prim": "None" } ] } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
},
{ "int": "0" }
]
},
{ "prim": "Pair", "args": [ { "int": "1000000000000000000" }, { "int": "500000000000000000" } ] }
]
}
]
},
{
"prim": "Pair",
"args": [
{ "prim": "Pair", "args": [ { "prim": "Pair", "args": [ { "int": "0" }, { "int": "5" } ] }, { "prim": "Pair", "args": [ [], [] ] } ] },
{
"prim": "Pair",
"args": [
{ "prim": "Pair", "args": [ { "string": "KT1Tezooo1zzSmartPyzzSTATiCzzzyfC8eF" }, { "prim": "None" } ] },
{ "prim": "Pair", "args": [ { "int": "5" }, { "prim": "True" } ] }
]
}
]
}
]
},
[
{
"prim": "Elt",
"args": [
{ "int": "0" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [ [ { "prim": "DROP" } ], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_SET_PENDING_ADMIN" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_PENDING_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "437" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "NONE", "args": [ { "prim": "address" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "1" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "193" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_BORROW_PAUSED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "196" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "196" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "197" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[],
[
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_BORROW_SENDER" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "79" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "79" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "80" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_JOINED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "81" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "True" } ] } ] },
{ "prim": "DUP", "args": [ { "int": "12" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "83" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "EMPTY_SET", "args": [ { "prim": "address" } ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SOME" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_ABSENT" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "624" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_INVALID" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "625" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_OLD" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_UPDATE_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "272" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "INT" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "SUB" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "0" } ] },
{ "prim": "SWAP" },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_REDEEMER_SHORTFALL" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "2" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "3" } ] },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "COMPARE" },
{ "prim": "LT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_UPDATE_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "272" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "378" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "378" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "189" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "189" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "DUP", "args": [ { "int": "5" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DIG", "args": [ { "int": "10" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "6" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "11" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "12" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "381" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "5" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "SOME" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "SWAP" },
{ "prim": "DROP" },
{ "prim": "DUP", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "6" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "384" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "ADD" },
{ "prim": "UPDATE", "args": [ { "int": "5" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP", "args": [ { "int": "4" } ] } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "3" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "586" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "4" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{
"prim": "ITER",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "79" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "79" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "80" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_JOINED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "81" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ] }, { "prim": "Some", "args": [ { "prim": "True" } ] } ] },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "83" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "UPDATE" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "EMPTY_SET", "args": [ { "prim": "address" } ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "UPDATE" },
{ "prim": "SOME" },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
]
]
}
]
]
},
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "5" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [ [ { "prim": "DROP" } ], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "EMPTY_SET", "args": [ { "prim": "nat" } ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "6" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "141" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CDR" },
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MINT_PAUSED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "7" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "167" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_ABSENT" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "624" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_INVALID" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "625" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_OLD" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_UPDATE_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "272" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "INT" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "SUB" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "0" } ] },
{ "prim": "SWAP" },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_REDEEMER_SHORTFALL" } ] }, { "prim": "FAILWITH" } ] ] }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "8" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "9" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [ [ { "prim": "DROP" } ], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ]
}
]
]
}
]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "True" } ] },
{ "prim": "LEVEL" },
{ "prim": "DUP", "args": [ { "int": "8" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "6" } ] },
{ "prim": "SUB" },
{ "prim": "PAIR", "args": [ { "int": "3" } ] },
{ "prim": "SOME" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "295" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CDR" },
{
"prim": "PUSH",
"args": [
{
"prim": "pair",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "option", "args": [ { "prim": "address" } ] },
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "option", "args": [ { "prim": "address" } ] } ] }
]
},
{ "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] } ] }
]
},
{
"prim": "Pair",
"args": [
{ "prim": "Pair", "args": [ { "prim": "None" }, { "prim": "Pair", "args": [ { "int": "0" }, { "prim": "None" } ] } ] },
{ "prim": "Pair", "args": [ { "int": "0" }, { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] }
]
}
]
},
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "10" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
},
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_BORROW_IN_MARKET" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "167" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_ABSENT" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "624" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_INVALID" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "625" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_OLD" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_UPDATE_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "272" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "INT" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "SUB" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "0" } ] },
{ "prim": "SWAP" },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_REDEEMER_SHORTFALL" } ] }, { "prim": "FAILWITH" } ] ] }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "120" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "120" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "122" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "SENDER" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "124" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "NONE", "args": [ { "prim": "bool" } ] },
{ "prim": "DUP", "args": [ { "int": "12" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "126" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "SENDER" },
{ "prim": "UPDATE" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "11" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "2" } ] },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "OP_NOT_ACTIVE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "2" } ] },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DUP", "args": [ { "int": "9" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "265" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "266" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "DIG", "args": [ { "int": "8" } ] },
{ "prim": "CDR" },
{ "prim": "MUL" },
{ "prim": "UPDATE", "args": [ { "int": "7" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "7" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "265" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "267" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "LEVEL" },
{ "prim": "UPDATE", "args": [ { "int": "8" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "12" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "472" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "CDR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "13" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "14" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "531" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "15" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "16" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_EXISTS" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "603" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "17" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "455" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "9" } ] },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "18" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "19" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
],
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "20" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "UPDATE", "args": [ { "int": "8" } ] },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "21" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ] ] } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SENDER" },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_NOT_ADMIN" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "614" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_ALREADY_LISTED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PUSH", "args": [ { "prim": "pair", "args": [ { "prim": "nat" }, { "prim": "nat" } ] }, { "prim": "Pair", "args": [ { "int": "0" }, { "int": "0" } ] } ] },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CDR" },
{ "prim": "PAIR" },
{
"prim": "PUSH",
"args": [ { "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "bool" } ] }, { "prim": "Pair", "args": [ { "prim": "True" }, { "prim": "True" } ] } ]
},
{ "prim": "PAIR" },
{
"prim": "PUSH",
"args": [
{ "prim": "pair", "args": [ { "prim": "bool" }, { "prim": "nat" } ] },
{ "prim": "Pair", "args": [ { "prim": "True" }, { "int": "900000000000000000" } ] }
]
},
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "EMPTY_BIG_MAP", "args": [ { "prim": "address" }, { "prim": "bool" } ] },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SOME" },
{ "prim": "DUP", "args": [ { "int": "7" } ] },
{ "prim": "CAR" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "DUP", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "SOME" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "CDR" },
{ "prim": "UPDATE" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
},
{
"prim": "Elt",
"args": [
{ "int": "22" },
[
{ "prim": "UNPAIR" },
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[
{
"prim": "IF_LEFT",
"args": [
[ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ],
[ { "prim": "IF_LEFT", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "-1" } ] }, { "prim": "FAILWITH" } ], [] ] } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "IF", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_TRANSFER_PAUSED" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "611" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_MARKET_NOT_LISTED" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "165" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "167" } ] }, { "prim": "FAILWITH" } ], [] ] }
],
[ { "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] } ]
]
},
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "MEM" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_ABSENT" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "624" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_INVALID" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "625" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_LIQUIDITY_OLD" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "270" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "8" } ] },
{ "prim": "LEVEL" },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "SUBTRACTION_UNDERFLOW" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_UPDATE_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "0" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "272" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "COMPARE" },
{ "prim": "GT" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_INVALID_PRICE" } ] }, { "prim": "FAILWITH" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "GET", "args": [ { "int": "5" } ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "GET", "args": [ { "int": "3" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP", "args": [ { "int": "4" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "GET", "args": [ { "int": "7" } ] },
{ "prim": "MUL" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "58" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "INT" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "174" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "CAR" },
{ "prim": "SUB" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "0" } ] },
{ "prim": "SWAP" },
{ "prim": "COMPARE" },
{ "prim": "GE" },
{ "prim": "IF", "args": [ [], [ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "CMPT_REDEEMER_SHORTFALL" } ] }, { "prim": "FAILWITH" } ] ] }
],
[]
]
},
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "MEM" },
{
"prim": "IF",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DIG", "args": [ { "int": "6" } ] },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "630" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "bool" }, { "prim": "False" } ] },
{ "prim": "UPDATE", "args": [ { "int": "4" } ] },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "UPDATE" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[ { "prim": "DROP" } ]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
}
]
]
}